EXTRA_DIST = v3_dodec.h5m \
             rocket_ents_in_assm.h5m \
             portable_x86_64.h5m \
	     portable_x86_32.h5m \
	     portable_power_32.h5m


